TNI-Valiosys Licenses Verisity"s e Verification Language
MOUNTAIN VIEW, Calif.--(BUSINESS WIRE)--Dec. 12, 2001--Verisity
Ltd. (Nasdaq:VRST - news), the leading provider of functional verification
automation, and TNI-Valiosys today announced that TNI-Valiosys has
licensed Verisity's e verification language through the LicenseE(TM)
program. TNI-Valiosys joined the LicenseE program to develop tighter
integrations between the imPROVE-HDL model checker and e-based
environments.
"It's imperative for engineers verifying today's complex designs
to have integrated verification solutions, and the demand for
solutions based on e, the de facto verification language, is
overwhelming," said Dave Tokic, director of strategic marketing for
Verisity. "Tighter integration between TNI-Valiosys' imPROVE-HDL and
the e language provides joint customers with a single source for
verification, incorporating simulation-based and formal approaches."
"Interfacing with Verisity's e verification language is important
for us, since it helps customers who are already using e improve
design quality by reusing e to formally validate their RTL models with
TNI-Valiosys' model checker, imPROVE-HDL", said Jean-Luc Lambert,
TNI-Valiosys' chief scientist. "The goal is for imPROVE-HDL to
seamlessly complement Specman Elite(TM), bridging simulation and
formal verification in a transparent way for users."
imPROVE-HDL is a model-checking tool that uses formal methods to
quickly and formally validate properties on VHDL/Verilog RTL and
structural models. As a LicenseE member, TNI-Valiosys will integrate
the temporal logic portion of the e verification language in order to
provide joint customers with a single way to describe assertions and
then use them for both simulation and model checking purposes.
TNI-Valiosys will then extend support for other e constructs and
enable the use of eVCs (e Verification Components) for modeling the
environment constraints of the design.
Program Membership
As a member in the LicenseE program, TNI-Valiosys will receive
open access to the e language, including a stand-alone e parser, and
will participate in the e Steering Committee. The Steering Committee's
purpose is to drive the future direction of the language to better
serve the verification market. All companies on the Steering Committee
have equal say, including Verisity.
About Verisity
Verisity is the leading provider of proprietary technologies and
software products used to efficiently verify designs of electronic
systems and complex integrated circuits that are essential to the
communications and other high growth segments of the electronics
industry. Verisity's products automate the process of detecting flaws
in these designs, enabling customers to deliver higher quality
products, accelerate time-to-market and reduce overall product
development costs.
Verisity Design, Inc.'s principal executive offices are located in
Mountain View, CA. Verisity's principal research and development
offices and the corporate headquarters of Verisity Ltd. are located in
Rosh Ha'ain, Israel. For more information, see Verisity's web site at
www.verisity.com.
About TNI-Valiosys
TNI-Valiosys provides system design automation solutions for
real-time applications in aerospace, automotive, semi-conductor,
telecom and industrial automation. The company's goal is to deliver a
comprehensive set of software and hardware design solutions to enable
designers to build better system-level models and implementations of
their electronic products in less time. TNI-Valiosys customers
include: Texas Instruments, Philips, STMicroelectronics, Infineon,
PSA, ALSTOM Transport, RATP, Matra Transport, France Telecom, Alcatel
Telecom, NORTEL, CNES, Airbus-France, SNECMA Motors, Eurocopter,
Thales Airborne Systems, Alcatel Space Industries, ESA, Allied Signal,
and others.
TNI-Valiosys employs 80 people at its headquarters and R&D
facilities in France and has a network of direct sales in Europe and
local representatives in North America and Taiwan.
Note to Editors: Verisity is a registered trademark of Verisity
Design, Inc. LicenseE and Specman Elite are trademarks of Verisity
Design. All other trademarks are the property of their respective
holders.
Contact:
Verisity Design, Inc., Mountain View
Jennifer Bilsey, 650/934-6823
jen@verisity.com
